901. Fete of combinatorics and computer science
Author: / Gyula O.H. Katona, Alexander Schrijver, Tamaas Szionyi (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Combinatorial analysis,Computer science, Mathematics,Kongress., swd
Classification :
QA164
.
F484
2010
902. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
903. Fields of logic and computation
Author: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer science, Mathematics,Information theory,Formal methods (Computer science)
Classification :
QA76
.
9
.
M35F54
2010
904. Fields of logic and computation III :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics. ;
905. Financial Modelin
Author: / by St?شphane Cr?شpey
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Differential equations, partial,Finance,Computer science,Electronic books
Classification :
E-BOOK
906. Finite Automata, Formal Logic, and Circuit Complexity
Author: by Howard Straubing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
Classification :
QA76
.
9
.
M35
B946
1994
907. Finite Element Methods and Their Applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics. ; Optical materials. ; Computer science. ; Mechanics. ; Numerical and Computational Physics, Simulation. ;
908. Finite Element Methods for Incompressible Flow Problems
Author: \ Volker John
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Differential equations, Partial,معادلههای دیفرانسیل جزئی,a03,a03,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
Classification :
E-Book
,
909. Finite Fields with Applications to Coding Theory, Cryptography and Related Areas
Author: edited by Gary L. Mullen, Henning Stichtenoth, Horacio Tapia-Recillas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Combinatorics.,Computer science-- Mathematics.,Data encryption (Computer science).,Data structures (Computer science).,Mathematics.
910. Finite and Boundary Element Tearing and Interconnecting Solvers for Multiscale Problem
Author: / by Clemens Pechstein
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Numerical analysis,Electronic books
Classification :
E-BOOK
911. Finite and algorithmic model theory
Author: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Finite model theory,، Computer science -- Mathematics
Classification :
QA
9
.
7
.
F562
912. Finite and algorithmic model theory
Author: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Finite model theory.,Computer science--Mathematics
Classification :
QA
,
9
.
7
,.
F565
,
2011
913. Finite and algorithmic model theory
Author: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Library: Library of College of Science University of Tehran (Tehran)
Subject: Finite model theory,Computer science -- Mathematics
Classification :
QA
9
.
7
.
F565
2011
914. Finite automata, formal logic, and circuit complexity
Author: / Howard Straubing
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
Classification :
QA76
.
9
.
M35
,
S77
1994
915. Finite automata, formal logic, and circuit complexity
Author: Howard Straubing
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77
916. Finite element and discontinuous galerkin methods for transient wave equations
Author: / Gary Cohen, Sebastien Pernet,Cohen
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematical physics,Computer science -- Mathematics,Computer science, Mathematics, physics
917. Finite versus infinite :
Author: Cristian S. Calude and Gheorghe Păun [eds.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Finite, The.,Infinite.
Classification :
QA295
.
C757
2000
918. Formal Concept Analysis:
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
919. Formal Concept Analysis :
Author: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
I58
2019eb
920. Formal Concept Analysis
Author: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
9
.
F67
2015
E-Book
,
